case(kind(e))
act(a) => f(a)
rcv(l,tg) => g(l;tg)

== if isrcv(e) g(lnk(e);tag(e)) else f(act(e)) fi 

latex

---

clarification:

es-kindcase(es; e; a.f(a); l,tg.g(l;tg))
== if es-isrcv(es; e) g(es-lnk(es; e);es-tag(es; e)) else f(es-act(es; e)) fi 

latex

Definitions	if b t else f fi, isrcv(e), lnk(e), tag(e), act(e)
FDL editor aliases	es-kindcase